Knihy od autora Zohar Manna

Zobrazeno 1 – 6 z 6 výsledků

1. 

   Temporal Verification of Reactive Systems

   Zohar Manna, Amir Pnueli | Springer, Berlin, 1995

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3313 Kč

   Koupit
2. 

   Mathematical Theory of Computation

   Zohar Manna | Dover Publications Inc., 2003

   
   

   Skladem u dodavatele - Odesíláme za 15-20 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   590 Kč

   Koupit
3. 

   The Calculus of Computation

   Aaron R. Bradley, Zohar Manna | Springer, Berlin, 2010

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
4. 

   Temporal Logic of Reactive and Concurrent Systems

   Zohar Manna, Amir Pnueli | Springer-Verlag New York Inc., 1991

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3611 Kč

   Koupit
5. 

   Temporal Verification of Reactive Systems

   Zohar Manna, Amir Pnueli | Springer-Verlag New York Inc., 2012

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3611 Kč

   Koupit
6. 

   The Temporal Logic of Reactive and Concurrent Systems

   Zohar Manna, Amir Pnueli | Springer, Berlin, 2012

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit

Získali jsme ocenění Shop roku 2014 - finalista. Zjistěte více